Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
91	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:40:57 Procedural programming languages Ada programming language SPARK Ada Exception handling Design by contract C Stack Subroutine Software engineering Computing Computer programming
92	Ada, The first computer programmer ! Ada Lovelace (Augusta Ada King Countess of Lovelace, to Add to Reading List Source URL: midwales.bcs.org Language: English - Date: 2014-10-15 04:52:31 Charles Babbage Lord Byron Women in technology Ada Lovelace Ada programming language Women in engineering Lovelace Analytical Engine Ada Computing British people United Kingdom
93	Microsoft PowerPoint - php16 Add to Reading List Source URL: www.grebyn.com Language: English - Date: 2008-03-04 11:29:30 Computer programming Ada GNAT Robert Dewar A Sharp Jean Ichbiah LIS Grady Booch SPARK Computing Software engineering Ada programming language
94	RTF Document Add to Reading List Source URL: www.adahome.com Language: English - Date: 1996-07-31 17:00:06 Software development APSE Ada programming language Ada Database Integrated development environment Software testing Programming tool Software development methodology Computing Software engineering Software
95	DIGITAL ® RESEARCH Pascal/MT+™ Language Add to Reading List Source URL: www.braeworks.org Language: English Pascal Cross-platform software CP/M Compiler C Ada Turbo Pascal IP Pascal Computing Software Procedural programming languages
96	Safe and Secure Software An Invitation to AdaConclusion Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:39:03 Procedural programming languages ALGOL 68 ALGOL Relational operator C Assignment Ada BCPL Pascal Software engineering Computing Programming language theory
97	OPL USING OPXS ON THE SERIES 5 The Series 5 uses language extensions provided in separate DLLs written specially for OPL support. These DLLs have the file extension OPX. It is not within the scope of this User Guide to c Add to Reading List Source URL: www.bioeddie.co.uk Language: English - Date: 2007-10-24 23:49:22 Symbian OS Open Programming Language Psion Series 3 Psion Series 5 Psion Symbian Ada Header file Computing Computer programming Software engineering
98	Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed] Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2012-05-18 10:26:19 Cross-platform software Type theory Data types Scripting languages Program analysis Type system Ada Groovy Type safety Computing Software engineering Programming language theory
99	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:04:48 Ada programming language Satisfiability Modulo Theories SPARK AdaCore Ada GNAT A Sharp Mathematical proof Solver Computing Software engineering Theoretical computer science
100	An Automatic Object-Oriented Parser Generator for Ada Martin C. Carlisle Department of Computer Science 2354 Fairchild Dr., Suite 6K41 U.S. Air Force Academy, CO[removed]removed] Add to Reading List Source URL: adagoop.martincarlisle.com Language: English - Date: 2009-05-29 13:55:03 Compiler construction Compiling tools Parsing Parser generators Compiler-compiler LL parser Lex GNU bison Parse tree Programming language implementation Software Computing

UPDATE